Nuprl Definition : select
11,40
postcript
pdf
l
[
i
] == hd(nth_tl(
i
;
l
))
latex
Definitions
hd(
l
)
,
nth_tl(
n
;
as
)
FDL editor aliases
select
origin